大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

0
索取号：
作者：Mauri、 Giancarlo.、Leporati、 Alberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

0
索取号：
作者：Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Phraseological Dictionary English - German [electronic resource] : General Vocabulary in Technical and Scientific Texts

0
索取号：
作者：Kraus、 Roland.、Baumgartner、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Hopper、 Nicholas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

0
索取号：
作者：Bouchou-Markhoff、 B茅atrice.、Caron、 Pascal.、Champarnaud、 Jean-Marc.、Maurel、 Denis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Computing Technology [electronic resource] : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 鈥ʵne 2, 2011. Proceedings

0
索取号：
作者：Hruschka、 Estevam Rafael.、Watada、 Junzo.、Carmo Nicoletti、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

High Performance Computing on Vector Systems 2011 [electronic resource]

0
索取号：
作者：Resch、 Michael.、Wang、 Xin.、Bez、 Wolfgang.、Focht、 Erich.、Kobayashi、 Hiroaki.、Roller、 Sabine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Artificial Intelligence in Medicine [electronic resource] : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings

0
索取号：
作者：Peleg、 Mor.、Lavra膷、 Nada.、Combi、 Carlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Networked Digital Technologies [electronic resource] : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings

0
索取号：
作者：Fong、 Simon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Soft Computing in Green and Renewable Energy Systems [electronic resource]

0
索取号：
作者：Gopalakrishnan、 Kasthurirangan.、Khaitan、 Siddhartha Kumar.、Kalogirou、 Soteris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

0
索取号：
作者：Br眉nnler、 Kai.、Metcalfe、 George.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

0
索取号：
作者：Gopalakrishnan、 Ganesh.、Qadeer、 Shaz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

HCI International 2011-Posters' Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

HCI International 2011-Posters' Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Processing in Medical Imaging [electronic resource] : 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011. Proceedings

0
索取号：
作者：Sz茅kely、 G谩bor.、Hahn、 Horst K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.